基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

基于多核处理器的入侵防御系统

随着高速以太网的广泛应用和网络入侵行为的日益复杂化,对网络入侵防御系统性能的要求越来越高.通过对传统入侵防御系统工作原理的分析,设计并实现了基于多核处理器的入侵防御系统.通过对系统中的多核处理单元进行分组,并构建共享缓冲队列实现工作组间的数据传递,使得系统在多核处理器环境下能够并行工作.试验结果表明,改进后系统的效率有显著提高,丢包率也明显降低.     

券商集合理财产品定价问题研究

基于Black-Scholes期权定价模型,用偏微分方程方法,研究其定价和性质.通过对冲技巧及It公式,在双因子模型下,建立了具提前转开条款的券商集合理财产品的定价模型,用差分方法得到了定价的数值解.通过固定封闭期模型与一般转开模型的比较,分析了转开条款带来的流动性价值.最后,利用理论结果,对实际产品——光大阳光集合理财产品进行实证分析,并讨论模型在定价中的作用及局限.     

一种抗DoS攻击的密钥交换协议

对meCK模型进行了扩展, 增加了抵抗拒绝服务(DoS)攻击的能力。提出了一种抵抗拒绝服务攻击的密钥交换协议并分析了协议的各种安全属性。通过分析发现所给协议不但满足一般的安全需求而且具有抵抗拒绝服务攻击安全性以及抵抗临时密钥泄露安全性, 与同类协议DoS-CMQV 相比较, 在保持相等通信与计算效率的同时具有更强的安全性。     

中频磁场辐射全身毒性与安全性实验评价

 通过模拟临床试验条件对100kHz中频交变磁场进行安全性评价。选用成年雄性的比格犬,随机分为对照组、连续辐照组和一周辐照2次组。两辐照组均接受为期4周的辐照,分别于辐照前和辐照后进行血液检测、尿液检测、免疫指标检测、骨髓涂片、精子质量和形态检测。辐照后处死比格犬,取各主要脏器制成病理切片,进行病理观察。综合分析磁场的生物学影响。分析发现,两辐照组与对照组及两辐照组间除个别指标外大部分指标无显著差别,而有差别的指标也在常规检测的正常值范围内。结果表明,磁感应治疗机产生的中频磁场对生物体无显著的生物学影响,且辐照时间与磁场的生物学效应无相关关系。     

对大型服装批发商场消防设计的思索

防火设计在技术上给予人们更安全的保障,最关键的是如何让人们提高防火意识,所以消防机关应在大型商场设计一些标语、漫画来宣传消防意识,还可以与商家合作举办一些活动来唤起人们的防火意识,这样才能真正从根本上避免火灾的发生。     

中国科学与世博会的一次亲密接触

笔者主要介绍了近代科学在中国本土化时期,中国科学界为参加以科学进步为主线的1933年芝加哥世界博览会所做的筹备工作,以及准备选送的科学赛品的科学水平,并对其在科学史上的意义进行评述。     

基于三层架构的网络防御性能改进研究

网络防御在网络安全中占据着重要的地位。实现完善的性能和高效率以及低资源占用率是网络防御设计的主要目标。文中针对网络防御在功能和效率方面存在的不足,分析了网络防御的关键性技术;针对网络防御在效率和性能上的瓶颈,提出了相应的改进策略,设计并实现了一个基于Windows平台的网络防御。     

一种基于RBAC的数据库入侵检测方法

由于数据库系统结构的复杂性,数据库入侵检测比主机和网络入侵检测更复杂,有更多难题需要去解决.该文提出了数据库日志的三种抽象表示法,利用SQL查询结构稳定性,使用序列模式挖掘算法提取角色的序列模式进行数据库入侵检测.同时,考虑到具体数据库系统的应用语义,该文利用数据库系统的聚类函数进行统计相关属性的改变而进行异常检测,两种方法结合起来既考虑了数据库查询结构的稳定性、通用性,又考虑了数据库系统的应用语义,试验结果证明,该综合方法和单一采用这两种方法相比,有较高的准确率,同时有较低的误报率、漏报率.     

云计算支撑信息服务社会化、集约化和专业化

从图灵计算机到网格计算的发展,云计算要求云计算中心支持社会化、集约化和专业化的信息服务,从而达到“网络丰富,边缘简单、交互智能”。系统阐述了云计算的核心技术,提出了“虚拟集群”的概念,计算资源的虚拟化组织、分配和使用有利于资源合理配置并提高利用率,促进节能减排,实现绿色计算。指出高端服务器和虚拟集群将是云计算发展的重要方向,形成新的高端服务器产业链将成为计算中心、数据中心发展的趋势。